Verifying and Validating Multi-layered Models with OWL FA Toolkit
نویسندگان
چکیده
This paper details the use of OWL FA Toolkit for verifying and validating multi-layered (meta-) modelling using ontologies described in OWL FA. We will show how OWL FA and its reasoner (OWL FA Toolkit) could benefit software modellers on leveraging the software development life cycle through a practical use case.
منابع مشابه
Modelling and Reasoning in Metamodelling Enabled Ontologies
Ontologies are expected to play an important role in many application domains, as well as in software engineering in general. One problem with using ontologies within software engineering is that while UML, a widely used standard for specifying and constructing the models for a software-intensive system, has a four-layer metamodelling architecture, the standard Web Ontology Language (OWL) does ...
متن کاملReasoning in Metamodeling Enabled Ontologies
Ontologies are expected to play an important role in many application domains, as well as in software engineering in general. One problem with using ontologies within software engineering is that while UML, a widely used standard for specifying and constructing the models for a software-intensive system, has a four-layer metamodeling architecture, the standard OWL Web Ontology Language does not...
متن کاملLateral Vibrations of Single-Layered Graphene Sheets Using Doublet Mechanics
This paper investigates the lateral vibration of single-layered graphene sheets based on a new theory called doublet mechanics with a length scale parameter. After a brief reviewing of doublet mechanics fundamentals, a sixth order partial differential equation that governs the lateral vibration of single-layered graphene sheets is derived. Using doublet mechanics, the relation between natural f...
متن کاملA Multi-layer Architecture Based on MCDM Methods to Select the Best E-Readiness Assessment Model According to SWOT Analysis
E-readiness is one of the major prerequisites for effective implementation of e-government. For the correct implementation of e-government, it is needed to accurately assess the state of e-readiness in desired community. In this regard, there are models to assess, but the correct choice of model is one of the most important challenges in this area. The process of evaluating and selecting the ap...
متن کاملAI-RPG Toolkit: Towards A Deep Model Implementation for Improvisational Virtual Drama
The form of improvisational drama allows participants to have their own choices to influence the ongoing story, and each play results in a different ending. However, authoring such story contents requires ad hoc scripting, and static story structures lose ingenuity once users hacked through them. Our purpose is to develop a toolkit for: (1) fast authoring the story content, and (2) allow it for...
متن کامل